direct product, metabelian, soluble, monomial, A-group
Aliases: C32×A4, C22⋊C33, C62⋊3C3, (C2×C6)⋊C32, SmallGroup(108,41)
Series: Derived ►Chief ►Lower central ►Upper central
| C22 — C32×A4 |
Generators and relations for C32×A4
G = < a,b,c,d,e | a3=b3=c2=d2=e3=1, ab=ba, ac=ca, ad=da, ae=ea, bc=cb, bd=db, be=eb, ece-1=cd=dc, ede-1=c >
Subgroups: 140 in 62 conjugacy classes, 34 normal (5 characteristic)
C1, C2, C3, C3, C22, C6, C32, C32, A4, C2×C6, C3×C6, C33, C3×A4, C62, C32×A4
Quotients: C1, C3, C32, A4, C33, C3×A4, C32×A4
►On 36 points
Generators in S36
(1 2 3)(4 5 6)(7 8 9)(10 11 12)(13 14 15)(16 17 18)(19 20 21)(22 23 24)(25 26 27)(28 29 30)(31 32 33)(34 35 36)
(1 23 28)(2 24 29)(3 22 30)(4 31 26)(5 32 27)(6 33 25)(7 15 35)(8 13 36)(9 14 34)(10 21 18)(11 19 16)(12 20 17)
(1 16)(2 17)(3 18)(4 9)(5 7)(6 8)(10 22)(11 23)(12 24)(13 33)(14 31)(15 32)(19 28)(20 29)(21 30)(25 36)(26 34)(27 35)
(1 15)(2 13)(3 14)(4 21)(5 19)(6 20)(7 28)(8 29)(9 30)(10 26)(11 27)(12 25)(16 32)(17 33)(18 31)(22 34)(23 35)(24 36)
(1 3 2)(4 20 7)(5 21 8)(6 19 9)(10 36 27)(11 34 25)(12 35 26)(13 32 18)(14 33 16)(15 31 17)(22 24 23)(28 30 29)
G:=sub<Sym(36)| (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36), (1,23,28)(2,24,29)(3,22,30)(4,31,26)(5,32,27)(6,33,25)(7,15,35)(8,13,36)(9,14,34)(10,21,18)(11,19,16)(12,20,17), (1,16)(2,17)(3,18)(4,9)(5,7)(6,8)(10,22)(11,23)(12,24)(13,33)(14,31)(15,32)(19,28)(20,29)(21,30)(25,36)(26,34)(27,35), (1,15)(2,13)(3,14)(4,21)(5,19)(6,20)(7,28)(8,29)(9,30)(10,26)(11,27)(12,25)(16,32)(17,33)(18,31)(22,34)(23,35)(24,36), (1,3,2)(4,20,7)(5,21,8)(6,19,9)(10,36,27)(11,34,25)(12,35,26)(13,32,18)(14,33,16)(15,31,17)(22,24,23)(28,30,29)>;
G:=Group( (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36), (1,23,28)(2,24,29)(3,22,30)(4,31,26)(5,32,27)(6,33,25)(7,15,35)(8,13,36)(9,14,34)(10,21,18)(11,19,16)(12,20,17), (1,16)(2,17)(3,18)(4,9)(5,7)(6,8)(10,22)(11,23)(12,24)(13,33)(14,31)(15,32)(19,28)(20,29)(21,30)(25,36)(26,34)(27,35), (1,15)(2,13)(3,14)(4,21)(5,19)(6,20)(7,28)(8,29)(9,30)(10,26)(11,27)(12,25)(16,32)(17,33)(18,31)(22,34)(23,35)(24,36), (1,3,2)(4,20,7)(5,21,8)(6,19,9)(10,36,27)(11,34,25)(12,35,26)(13,32,18)(14,33,16)(15,31,17)(22,24,23)(28,30,29) );
G=PermutationGroup([[(1,2,3),(4,5,6),(7,8,9),(10,11,12),(13,14,15),(16,17,18),(19,20,21),(22,23,24),(25,26,27),(28,29,30),(31,32,33),(34,35,36)], [(1,23,28),(2,24,29),(3,22,30),(4,31,26),(5,32,27),(6,33,25),(7,15,35),(8,13,36),(9,14,34),(10,21,18),(11,19,16),(12,20,17)], [(1,16),(2,17),(3,18),(4,9),(5,7),(6,8),(10,22),(11,23),(12,24),(13,33),(14,31),(15,32),(19,28),(20,29),(21,30),(25,36),(26,34),(27,35)], [(1,15),(2,13),(3,14),(4,21),(5,19),(6,20),(7,28),(8,29),(9,30),(10,26),(11,27),(12,25),(16,32),(17,33),(18,31),(22,34),(23,35),(24,36)], [(1,3,2),(4,20,7),(5,21,8),(6,19,9),(10,36,27),(11,34,25),(12,35,26),(13,32,18),(14,33,16),(15,31,17),(22,24,23),(28,30,29)]])
C32×A4 is a maximal subgroup of
C32⋊4S4 C62.16C32 He3⋊2A4 C62.6C32
C32×A4 is a maximal quotient of C62.25C32 He3.2A4 C62.9C32
36 conjugacy classes
| class | 1 | 2 | 3A | ··· | 3H | 3I | ··· | 3Z | 6A | ··· | 6H |
| order | 1 | 2 | 3 | ··· | 3 | 3 | ··· | 3 | 6 | ··· | 6 |
| size | 1 | 3 | 1 | ··· | 1 | 4 | ··· | 4 | 3 | ··· | 3 |
36 irreducible representations
| dim | 1 | 1 | 1 | 3 | 3 |
| type | + | + | |||
| image | C1 | C3 | C3 | A4 | C3×A4 |
| kernel | C32×A4 | C3×A4 | C62 | C32 | C3 |
| # reps | 1 | 24 | 2 | 1 | 8 |
Matrix representation of C32×A4 ►in GL4(𝔽7) generated by
| 4 | 0 | 0 | 0 |
| 0 | 2 | 0 | 0 |
| 0 | 0 | 2 | 0 |
| 0 | 0 | 0 | 2 |
| 1 | 0 | 0 | 0 |
| 0 | 2 | 0 | 0 |
| 0 | 0 | 2 | 0 |
| 0 | 0 | 0 | 2 |
| 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 |
| 0 | 6 | 6 | 6 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 6 | 6 | 6 |
| 1 | 0 | 0 | 0 |
| 0 | 4 | 0 | 0 |
| 0 | 0 | 0 | 4 |
| 0 | 3 | 3 | 3 |
G:=sub<GL(4,GF(7))| [4,0,0,0,0,2,0,0,0,0,2,0,0,0,0,2],[1,0,0,0,0,2,0,0,0,0,2,0,0,0,0,2],[1,0,0,0,0,0,6,1,0,0,6,0,0,1,6,0],[1,0,0,0,0,0,1,6,0,1,0,6,0,0,0,6],[1,0,0,0,0,4,0,3,0,0,0,3,0,0,4,3] >;
C32×A4 in GAP, Magma, Sage, TeX
C_3^2\times A_4
% in TeX
G:=Group("C3^2xA4"); // GroupNames label
G:=SmallGroup(108,41);
// by ID
G=gap.SmallGroup(108,41);
# by ID
G:=PCGroup([5,-3,-3,-3,-2,2,1083,2029]);
// Polycyclic
G:=Group<a,b,c,d,e|a^3=b^3=c^2=d^2=e^3=1,a*b=b*a,a*c=c*a,a*d=d*a,a*e=e*a,b*c=c*b,b*d=d*b,b*e=e*b,e*c*e^-1=c*d=d*c,e*d*e^-1=c>;
// generators/relations